deterministic finite automata examples and solutions